Inhalt des Dokuments
Forschung
-
Artikel akzeptiert (ICTAC 2019)
Artikel "Taming Concurrency for Verification Using Multiparty Session Types” akzeptiert bei ICTAC 2019 (Co-Autoren Kirstin Peters, Christoph Wagner und Uwe Nestmann)(Rate 20/138, 14%)
-
EXPRESS/SOS 2019 - Eingeladener Vortrag
Eingeladener Vortrag von Dr. Kirstin Peters mit dem Titel "Comparing Process Calculi Using Encodings" beim EXPRESS/SOS 2019 in Amsterdam.
-
CONCUR 2019 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von CONCUR 2019 in Amsterdam eingeladen.
-
FORTE 2019 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von FORTE 2019, eine der drei Konferenzen der DisCoTec 2019, the 14th International Federated Conference on Distributed Computing Techniques, eingeladen.
-
TU Berlin ist Gastgeber von CONCUR 2017
Die TU Berlin ist Gastgeber von CONCUR 2017 mit Uwe Nestmann als Mitvorsitzender.
-
Artikel akzeptiert (FORTE 2017)
Artikel "Session Types for Link Failures" akzeptiert für FORTE 2017 (Autoren: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Assoziiert mit DisCoTec 2017.
-
Artikel akzeptiert (FORTE 2015)
Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.